ernst specker meaning in French

ernst specker

In 1967 Kochen and Ernst Specker proved the Kochen–Specker theorem in quantum mechanics and quantum contextuality.
En 1967 Kochen et Ernst Specker (en) ont prouvé le théorème de Kochen–Specker de la mécanique quantique et la contextualité quantique (en).
Several proofs of the independence of Foundation from the rest of ZF were published in 1950s particularly by Paul Bernays (1954), following an announcement of the result in earlier paper of his from 1941, and by Ernst Specker who gave a different proof in his Habilitationsschrift of 1951, proof which was published in 1957.
Plusieurs démonstrations de l'indépendance de l'axiome de fondation de ZF sont publiées dans les années 1950 en particulier par Paul Bernays en 1954, qui fait suite à une annonce du résultat en 1941 et par Ernst Specker qui donne une démonstration différente dans son habilitation en 1951 et qui publiera celle-ci en 1957.